Extensions of valuations
نویسنده
چکیده
Continuous valuations have been proposed by several authors as a way of modeling probabilistic non-determinism in programming language semantics. Let (X;O) be a topological space. A quasi-simple valuation on X is the sup of a directed family of simple valuations. We show that quasisimple valuations are exactly those valuations that extend to continuous valuations to the Alexandroff topology on the specialization preordering of the topology O. A number of applications are presented. In particular, we retrieve Jones’ result that every continuous valuation is quasi-simple if X is a continuous dcpo—in this case, there is a least extension to the Alexandroff topology. We show that this can be refined if X is algebraic, where every continuous valuation is the sup of a directed family of simple valuations based on finite elements. We exhibit another class of spaces where every continuous valuation is quasi-simple, the so-called finitarily coherent spaces—in this case, there is a largest extension to the Alexandroff topology. In general, the extension to the Alexandroff topology is not unique, unless the original valuation is bicontinuous for example. We also show that other natural spaces of valuations, namely those of discrete valuations and point-continuous valuations, can be characterized by similar extension theorems.
منابع مشابه
INITIAL RAMIFICATION INDEX OF NONINVARIANT VALUATIONS ON FINITE DIMENSIONAL DIVISION ALGEBRAS
Let D be a division ring with centre K and dim, D< ? a valuation on K and v a noninvariant extension of ? to D. We define the initial ramfication index of v over ?, ?(v/ ?) .Let A be a valuation ring of o with maximal ideal m, and v , v ,…, v noninvariant extensions of w to D with valuation rings A , A ,…, A . If B= A , it is shown that the following conditions are equivalent: (i) B i...
متن کاملThe P-adic Numbers and Basic Theory of Valuations
In this paper, we aim to study valuations on finite extensions of Q. These extensions fall under a special type of field called a global field. We shall also cover the topics of the Approximation Theorems and the ring of adeles, or valuation vectors.
متن کاملQuotient BCI-algebras induced by pseudo-valuations
In this paper, we study pseudo-valuations on a BCI-algebra and obtain some related results. The relation between pseudo-valuations and ideals is investigated. We use a pseudo-metric induced by a pseudovaluation to introduce a congruence relation on a BCI-algebra. We define the quotient algebra induced by this relation and prove that it is also a BCI-algebra and study its properties.
متن کامل. C O ] 1 9 A ug 2 01 0 LINEAR EXTENSION SUMS AS VALUATIONS ON CONES
The geometric and algebraic theory of valuations on cones is applied to understand identities involving summing certain rational functions over the set of linear extensions of a poset.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- Mathematical Structures in Computer Science
دوره 15 شماره
صفحات -
تاریخ انتشار 2005